Merge branch 'kill-menu-display' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 1 May 2019 22:09:13 +0000 (22:09 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 1 May 2019 22:09:13 +0000 (22:09 +0000)
commit2952ba07e1ab39ce6558d857d769fd636e1d53ee
tree13ff192eb0cd532479d41422e60dce0a5ce3c617
parent435bc269e954cace9d2777ce266004414ebf4c64
parent62b7ea7611a9719212a1fca45fa378b48ff70be5
Merge branch 'kill-menu-display' into 'master'

Kill menu display

See merge request GNOME/gtk!806